Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
301	A Case Study in Verication Based on Trace Abstractions Nils Klarlund? Mogens Nielsen Kim Sunesen BRICS?? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:07 Formal languages Semantics Non-classical logic First-order logic Interpretation Well-formed formula Temporal logic Modal logic Second-order logic Logic Mathematical logic Model theory
302	BOOK REVIEW 125 Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987); 406 + xviii pages. Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-11-01 17:39:55 Artificial intelligence Philosophical logic Reasoning Logical consequence Prolog Logic programming Expert system Inference Epistemic modal logic Logic Mathematical logic Non-classical logic
303	The optimal prize structure of symmetric Tullock contests∗ Paul Schweinzer Ella Segev Add to Reading List Source URL: www.york.ac.uk Language: English - Date: 2015-03-03 05:46:15 Game theory Modal logic Non-classical logic Philosophical logic
304	SIAM Journal in Scientific Computing, Volume[removed]), pages 119–138. A MODIFIED PRONY ALGORITHM FOR EXPONENTIAL FUNCTION FITTING M. R. OSBORNE∗ AND G. K. SMYTH† Abstract. A modification of the classical technique Add to Reading List Source URL: www.statsci.org Language: English - Date: 2012-06-21 23:57:21 Deduction Entailment Logical consequence Metalogic Philosophical logic Exponential map Least squares Recurrence relation Binomial coefficient Mathematics Logic Mathematical analysis
305	15282 CG812 Kinetic WECF 8p PDS Add to Reading List Source URL: www.fidante.com.au Language: English - Date: 2015-04-17 01:59:59 Mathematical logic Non-classical logic Reasoning Philosophical logic Logic programming First-order logic Knowledge representation and reasoning SQL Modal logic Logic Programming paradigms Science
306	Fads and Fallacies about Logic John F. Sowa VivoMind Intelligence, Inc. Throughout the history of AI, logic has been praised by its admirers, maligned by its detractors, and discussed in confusing and misleading terms by Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2007-06-29 09:15:06 Mathematical logic Non-classical logic Reasoning Philosophical logic Logic programming First-order logic Knowledge representation and reasoning SQL Modal logic Logic Programming paradigms Science
307	Master Thesis Modelling Uncertainty in 3APL Johan Kwisthout studentnummer[removed] Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-09-05 12:29:41 Logic Software engineering Non-classical logic 3APL Dempster–Shafer theory Epistemic modal logic Logic programming Prolog AgentSpeak Multi-agent systems Computing Artificial intelligence
308	Automated logical verication based on trace abstractions Nils Klarlund Mogens Nielsen Kim Sunesen BRICSy Department of Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:25 Non-classical logic Matrix theory Trace Abstraction Modal logic Mind Logic Mathematics Linear algebra
309	To stop the machines taking over we need to think about fuzzy logic Add to Reading List Source URL: phys.org Language: English - Date: 2015-04-16 12:59:11 Fuzzy logic Artificial intelligence Logic in computer science Non-classical logic Lotfi A. Zadeh Inference Fuzzy set Algorithm Type-2 fuzzy sets and systems Logic Science Mathematical logic
310	Modality and Future Reference in Masalit Timothy Leffel New York University 1. Introduction The Masalit verbal sufﬁx -ti has previously been characterized as a future tense marker (Edgar Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:49:42 Grammatical moods Modal logic Non-classical logic Philosophical logic Linguistic modality Epistemic modality Auxiliary verb Analytic philosophy Logic Linguistics Grammar

UPDATE